13 results
From type theory to setoids and back
-
- Journal:
- Mathematical Structures in Computer Science / Volume 32 / Issue 10 / November 2022
- Published online by Cambridge University Press:
- 12 April 2023, pp. 1283-1312
-
- Article
- Export citation
EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 18 June 2020, pp. 563-584
- Print publication:
- June 2020
-
- Article
-
- You have access
- Open access
- Export citation
A CONSTRUCTIVE EXAMINATION OF A RUSSELL-STYLE RAMIFIED TYPE THEORY
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 1 / March 2018
- Published online by Cambridge University Press:
- 26 April 2018, pp. 90-106
- Print publication:
- March 2018
-
- Article
- Export citation
Introduction – from type theory and homotopy theory to univalent foundations
-
- Journal:
- Mathematical Structures in Computer Science / Volume 25 / Issue 5 / June 2015
- Published online by Cambridge University Press:
- 10 March 2015, pp. 1005-1009
-
- Article
-
- You have access
- Export citation
Predicativity problems in point-free topology
- from RESEARCH ARTICLES
-
-
- Book:
- Logic Colloquium '03
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 221-231
-
- Chapter
- Export citation
A categorical version of the Brouwer–Heyting–Kolmogorov interpretation
-
- Journal:
- Mathematical Structures in Computer Science / Volume 14 / Issue 1 / February 2004
- Published online by Cambridge University Press:
- 03 February 2004, pp. 57-72
-
- Article
- Export citation
Wilfried Buchholz. An intuitionistic fixed point theory. Archive for mathematical logic, vol. 37 no. 1 (1997), pp. 21–27.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 391-392
- Print publication:
- September 2001
-
- Article
- Export citation
Hyperfinite type structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 3 / September 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1216-1242
- Print publication:
- September 1999
-
- Article
- Export citation
Developments in Constructive Nonstandard Analysis
-
- Journal:
- Bulletin of Symbolic Logic / Volume 4 / Issue 3 / September 1998
- Published online by Cambridge University Press:
- 15 January 2014, pp. 233-272
- Print publication:
- September 1998
-
- Article
- Export citation
Minimal models of Heyting arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1448-1460
- Print publication:
- December 1997
-
- Article
- Export citation
A logical presentation of the continuous functionals
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 3 / September 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1021-1034
- Print publication:
- September 1997
-
- Article
- Export citation
A note on Mathematics of infinity
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 4 / December 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1195-1200
- Print publication:
- December 1993
-
- Article
- Export citation
A construction of type: type in Martin-Löf's partial type theory with one universe
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1012-1015
- Print publication:
- September 1991
-
- Article
- Export citation